Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
51	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:38 Computer science Applied mathematics Extended finite-state machine Theory of computation Algorithm Assignment Models of computation Software engineering Formal methods
52	Modelling malignant progression with a finite state machine supports a two checkpoint theory of cancer Add to Reading List Source URL: www.biodiscoveryjournal.co.uk Language: English - Date: 2015-02-15 18:10:56 Zoology Reptiles of Australia Dermochelys Leatherback sea turtle Turtle Threats to sea turtles Point Denis Fauna of Asia Herpetology Sea turtles
53	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
54	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:08 Applied mathematics Formal methods Extended finite-state machine Theory of computation Finite-state machine Algorithm Grammar induction Models of computation Theoretical computer science Computer science
55	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods
56	Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 11:57:54 Mathematics Deterministic pushdown automaton Parsing Computability Context-free grammar Context-free language Formal grammar Finite-state machine Recursive language Formal languages Theoretical computer science Theory of computation
57	Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-07-17 03:24:58 Computer science Finite-state machine Model checking Formal verification Nested word Formal methods Automata-based programming Automata theory Theoretical computer science Applied mathematics
58	2014 IEEE Security and Privacy Workshops Finite State Machine Parsing for Internet Protocols: Faster Than You Think Peter C. Johnson Department of Computer Science Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2014-04-30 03:10:41
59	2014 IEEE Security and Privacy Workshops Finite State Machine Parsing for Internet Protocols: Faster Than You Think Peter C. Johnson Department of Computer Science Add to Reading List Source URL: ieee-security.org Language: English - Date: 2014-04-30 03:10:41
60	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-02 06:11:57 Automata theory Formal languages Logic in computer science Runtime verification Design Finite-state machine Regular expression C Sharp Pattern Computing Software engineering Theoretical computer science

UPDATE